$\forall$$A$,$B$:Type, $L$:($A$ List), $f$:(\{$x$:$A$$\mid$ ($x$ $\in$ $L$)\} $\rightarrow$$B$). map($f$; $L$) $\in$ ($B$ List)